Combinatory logic - PDFSEARCH.IO - Document Search Engine

Combinatory logic
Results: 540

#	Item
411	II. Algebraic Theory of Elliptic Curves In this chapter we sketch the general theory of elliptic curves from an algebraic viewpoint. This material is fairly standard, although some of our proofs may differ from the ones Add to Reading List Source URL: www.math.jussieu.fr Language: English - Date: 2004-09-20 07:25:40 Vector bundles Analytic number theory Elliptic curve Group theory Intersection number Canonical bundle Ample line bundle Combinatory logic Algebraic number field Abstract algebra Algebraic geometry Geometry
412	Continuations and Transducer Composition Olin Shivers Matthew Might Georgia Tech Add to Reading List Source URL: matt.might.net Language: English - Date: 2014-01-06 09:40:05 Lambda calculus Functions and mappings Binary operations Combinatory logic Logic in computer science Function Convolution Fixed-point combinator Mathematics Mathematical analysis Theoretical computer science
413	Environment Analysis via ∆CFA Matthew Might Olin Shivers Georgia Institute of Technology Add to Reading List Source URL: matt.might.net Language: English - Date: 2014-01-06 09:40:05 Continuations Logic in computer science Computability theory Models of computation Symbol Lambda calculus Stack Combinatory logic Closure Software engineering Computing Subroutines
414	Introduction to the Lambda Calculus Chris Lomont[removed]www.lomont.org Leibniz[removed]) Add to Reading List Source URL: www.lomont.org Language: English - Date: 2012-08-09 18:49:57 Computability theory Theory of computation Models of computation Lambda calculus Computability Turing machine Alan Turing Halting problem Combinatory logic Mathematics Theoretical computer science Mathematical logic
415	J Autom Reasoning DOI[removed]s10817[removed]y A Canonical Locally Named Representation of Binding Randy Pollack · Masahiko Sato · Wilmer Ricciotti Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2011-06-02 12:07:39 Predicate logic Computability theory Lambda calculus Theoretical computer science Function Free variables and bound variables De Bruijn index Combinatory logic Mathematics Mathematical analysis Mathematical logic
416	EJTP 4, No. 16(III[removed]–14 Electronic Journal of Theoretical Physics Multiboundary Algebra as Pregeometry Ben Goertzel∗ Add to Reading List Source URL: www.ejtp.com Language: English - Date: 2009-08-25 12:57:40 Algebraic structures Mathematical structures Linear algebra Group theory Boolean algebra Combinatory logic Vector space Outline of algebraic structures Clifford algebra Algebra Mathematics Abstract algebra
417	Objects and their computational framework† V.E.Wolfengagen‡ arXiv:cs.LO[removed]Jun[removed]Vorotnikovsky per., 7, bld. 4 Add to Reading List Source URL: www.wolfengagen.mephi.ru Language: English - Date: 2004-02-05 01:57:51 Applied mathematics Combinatory logic Symbol Cartesian closed category Fixed-point combinator Spectral theory of ordinary differential equations Lambda calculus Theoretical computer science Mathematics
418	V. E. Wolfengagen Combinatory Logic in Programming Add to Reading List Source URL: www.wolfengagen.mephi.ru Language: English - Date: 2005-08-04 01:10:04 Mathematics Combinatory logic Models of computation Logic in computer science Fixed-point combinator Mathematical logic Lambda Parameter Applicative computing systems Theoretical computer science Lambda calculus Applied mathematics
419	DISINTEGRATION OF MEASURES BEN HAYES Definition 1. Let (X, M, λ), (Y, N, µ) be sigma-finite measure spaces and let T : X → Y be a measurable map. A (T, µ)-disintegration is a collection {λy }y∈Y of measures on M Add to Reading List Source URL: www.math.ucla.edu Language: English - Date: 2013-10-31 12:03:11 Operator theory Support Radon–Nikodym theorem Lambda calculus Combinatory logic Compact operator on Hilbert space Mathematical analysis Spectral theory Measure theory

UPDATE